0f39c28c0c2331d0480f9b6eba15126b79cb26a9,java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/PsiGraphInferenceHelper.java,PsiGraphInferenceHelper,getSubstitutionForTypeParameter,#PsiTypeParameter#PsiType#PsiType#boolean#LanguageLevel#,87

Before Change


    if (inferenceSession.isProperType(param) && inferenceSession.isProperType(arg)) {
      boolean proceed = false;
      for (PsiClassType classType : typeParam.getExtendsListTypes()) {
        if (!inferenceSession.isProperType(classType)) {
          proceed = true;
          break;
        }

After Change


        inferenceSession.isProperType(inferenceSession.substituteWithInferenceVariables(arg))) {
      boolean proceed = false;
      for (PsiClassType classType : typeParam.getExtendsListTypes()) {
        if (!inferenceSession.isProperType(inferenceSession.substituteWithInferenceVariables(classType))) {
          proceed = true;
          break;
        }